Appendix of “ Safety of Nöcker ’ s Strictness Analysis ”

نویسندگان

  • Manfred Schmidt-Schauß
  • David Sabel
  • Marko Schütz
چکیده

This document contains full proofs of (Schmidt-Schauß et al., n.d.).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Strictness Types: An Inference Algorithm and an Application

This report deals with strictness types, a way of recording whether a function needs its argument(s) or not. We shall present an inference system for assigning strictness types to expressions and subsequently we transform this system into an algorithm capable of annotating expressions with strictness types. We give an example of a transformation which can be optimized by means of these annotati...

متن کامل

Correlation of Leukocyte Count and Percentage of Segmented Neutrophils with Pathohistological Findings of Appendix in Children

BackgroundAppendicitis is the most common indication for an emergency operation in children's age. Although none of the laboratory values has not high sensitivity and specificity for the diagnosis of appendicitis, leukocyte count and the percentage of segmented neutrophils are most commonly used. The aim of this study was to determine whether there is a statistically significant correlation bet...

متن کامل

بررسی فراوانی و پیش آگهی تومور کار سینوئید آپاندیس در آپاند کتومی های انجام شده در بیمارستان شهدای عشایر خرم آباد طی سالهای 1384-1379

Appendix carcinoid tumors are of rare cases. Their commonest place is in digestive system in appendix intensine and rectom respectively. They have no symptoms and they are detected along with laparotomy or inflation in appendix. The aim of the present study was to determine the frequency of carcinoid tumor in appendix and its prognosis in a period of 3 to 8 years in Shohada hospital in khorram...

متن کامل

On the Safety of Nöcker’s Strictness Analysis

This paper proves correctness of Nöcker’s method of strictness analysis, implemented for Clean, which is an effective way for strictness analysis in lazy functional languages based on their operational semantics. We improve upon the work of Clark, Hankin and Hunt, which addresses correctness of the abstract reduction rules. Our method also addresses the cycle detection rules, which are the main...

متن کامل

Safety of Nöcker's strictness analysis

This paper proves correctness of Nöcker’s method of strictness analysis, implemented in the Clean compiler, which is an effective way for strictness analysis in lazy functional languages based on their operational semantics. We improve upon the work Clark, Hankin and Hunt did on the correctness of the abstract reduction rules in two aspects. Our correctness proof is based on a functional core l...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007